α-recursion lifts classical recursion theory from the first transfinite ordinal ω to an arbitrary admissible ordinal α [10]. Idealized computational models for α-recursion analogous to Turing machine models for classical recursion have been proposed and studied [4] and [5] and are applicable in computational approaches to the foundations of logic and mathematics [8]. They also provide a natural setting for modeling extensions of the algorithmic logic described in [1] and [2]. On such models, an α-Turing machine can complete a θ-step (...) computation for any ordinal θ < α. Here we consider constraints on the physical realization of α-Turing machines that arise from the structure of physical spacetime. In particular, we show that an α-Turing machine is realizable in a spacetime constructed from R only if α is countable. While there are spacetimes where uncountable computations are possible and while they may even be empirically distinguishable from a standard spacetime, there is good reason to suppose that such nonstandard spacetimes are nonphysical. We conclude with a suggestion for a revision of Church’s thesis appropriate as an upper bound for physical computation. (shrink)

There is significant interest in type-free systems that allow flexible self-application. Such systems are of interest in property theory, natural language semantics, the theory of truth, theoretical computer science, the theory of classes, and category theory. While there are a variety of proposed type-free systems, there is a particularly natural type-free system that we believe is prototypical: the logic of recursive algorithms. Algorithmic logic is the study of basic statements concerning algorithms and the algorithmic rules of inference between such statements. (...) As shown in [1], the threat of paradoxes, such as the Curry paradox, requires care in implementing rules of inference in this context. As in any type-free logic, some traditional rules will fail. The first part of the paper develops a rich collection of inference rules that do not lead to paradox. The second part identifies traditional rules of logic that are paradoxical in algorithmic logic, and so should be viewed with suspicion in type-free logic generally. (shrink)

We develop a functional abstraction principle for the type-free algorithmic logic introduced in our earlier work. Our approach is based on the standard combinators but is supplemented by the novel use of evaluation trees. Then we show that the abstraction principle leads to a Curry fixed point, a statement C that asserts C ⇒ A where A is any given statement. When A is false, such a C yields a paradoxical situation. As discussed in our earlier work, this situation leaves (...) one no choice but to restrict the use of a certain class of implicational rules including modus ponens. (shrink)

ABSTRACT:There is considerable overlap between the interests of business ethicists and those of political philosophers. Questions about the moral justifiability of the capitalist system, the basis of property rights, and the problem of inequality in the distribution of income have been of central importance in both fields. However, political philosophers have developed, especially over the past four decades, a set of tools and concepts for addressing these questions that are in many ways quite distinctive. Most business ethicists, on the other (...) hand, consider their field to be primarily a domain of applied ethics, and so adopt methods and conceptual frameworks developed by moral philosophers. In this paper, we discuss some of the salient differences between these two approaches, and suggest some ways in which business ethicists could benefit from taking a more “political philosophy” approach to these questions. Throughout, we underline the importance of seeking greater compatibility among the principles used in normative theorizing about markets, regulations, corporate governance, and business practices. (shrink)

There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of computer implemented deduction. We use a version of the Curry paradox to arrive at this limitation.

In this note, we consider constraints on the physical possibility of transfinite Turing machines that arise from how one models the continuous structure of space and time in one's best physical theories. We conclude by suggesting a version of Church's thesis appropriate as an upper bound for physical computation given how space and time are modeled on our current physical theories.

Penetrating and illuminating, these essays firmly install Merleau-Ponty among the most innovative and critically debated thinkers of the past half century.

Bidirectional deep brain stimulation (DBS) platforms have enabled a surge in hours of recordings in naturalistic environments, allowing further insight into neurological and psychiatric disease states. However, high amplitude, high frequency stimulation generates artifacts that contaminate neural signals and hinder our ability to interpret the data. This is especially true in psychiatric disorders, for which high amplitude stimulation is commonly applied to deep brain structures where the native neural activity is miniscule in comparison. Here, we characterized artifact sources in recordings (...) from a bidirectional DBS platform, the Medtronic Summit RC + S, with the goal of optimizing recording configurations to improve signal to noise ratio (SNR). Data were collected from three subjects in a clinical trial of DBS for obsessive-compulsive disorder. Stimulation was provided bilaterally to the ventral capsule/ventral striatum (VC/VS) using two independent implantable neurostimulators. We first manipulated DBS amplitude within safe limits (2–5.3 mA) to characterize the impact of stimulation artifacts on neural recordings. We found that high amplitude stimulation produces slew overflow, defined as exceeding the rate of change that the analog to digital converter can accurately measure. Overflow led to expanded spectral distortion of the stimulation artifact, with a six fold increase in the bandwidth of the 150.6 Hz stimulation artifact from 147–153 to 140–180 Hz. By increasing sense blank values during high amplitude stimulation, we reduced overflow by as much as 30% and improved artifact distortion, reducing the bandwidth from 140–180 Hz artifact to 147–153 Hz. We also identified artifacts that shifted in frequency through modulation of telemetry parameters. We found that telemetry ratio changes led to predictable shifts in the center-frequencies of the associated artifacts, allowing us to proactively shift the artifacts outside of our frequency range of interest. Overall, the artifact characterization methods and results described here enable increased data interpretability and unconstrained biomarker exploration using data collected from bidirectional DBS devices. (shrink)

This essay forms part of an “elegiac symposium” on “what gets lost during paradigm shifts,” and it replies to an earlier contribution to that symposium, “Regarding Change at Ise-Jingu” by Jeffrey M. Perl (14, no. 2 [2008]: 208-20; DOI 10.1215/0961754X-2007-069]) . Andersen argues against or supplements Perl's contention that Japanese attitudes toward change differ radically from those that are standard in the West. Andersen expands on arguments made by Roland Barthes—an explicator and partisan of Japanese thought—to show that at (...) least one Greek myth (that of the unchanging ship Argo) deals with change, originality, updating, fakes, and replication in a way similar to those standard in Japanese culture. Andersen then pursues his argument, as well, with respect to works by Rodin, Sade, and Leonardo da Vinci. (shrink)

In this introduction to part three of the Common Knowledge symposium “Fuzzy Studies: On the Consequence of Blur,” the journal’s editor argues that blur is not a medium of concealment, confusion, or evasion. Making distinctions between kinds of relative unclarity, he reserves the word blur for the kind that results from de-differentiating objects or qualities or states of affairs whose differences have been overstated. To refine what blur is and is not, he compares kinds of unclarity found in images by (...) Giotto, Rubens, Hokusai, Kunitora, Manet, Zeshin, and Richter. With reference to art criticism by Hubert Damisch, Wayne Andersen, Anthony Hughes, Robert Storr, Julian Bell, Christopher Prendergast, and especially T. J. Clark, he agrees that choosing between focus and blur can be a moral decision, though not in the sense for which Clark arraigns the Impressionists. Characterizing the way of seeing that Clark encourages in The Painting of Modern Life as a form of staring, this essay argues that “lean and hungry looking” is indecent, whereas unfocused receptivity is irenic. What Bell calls the “aestheticized halfheartedness” of Manet is redescribed here as a genre of moral heroism, and the essay concludes that it is differentiation that is on morally shaky ground. (shrink)

Jeffrey Stout's "Democracy and Tradition" puts forward a complex argument in favor of American democracy as a healthy and legitimate moral and political tradition in itself. Stout does not dwell on the place of his own work in the "pragmatic" approach to the study of religion in the last thirty years. This paper attempts to situate Stout's work in the approach to religion identified with Mary Douglas and Wayne Proudfoot and to suggest some of the consequences for comparative (...) religious ethics of his making that "pragmatic turn.". (shrink)

How does conscious experience arise out of the functioning of the human brain? How is it related to the behaviour that it accompanies? How does the perceived world relate to the real world? Between them, these three questions constitute what is commonly known as the Hard Problem of consciousness. Despite vast knowledge of the relationship between brain and behaviour, and rapid advances in our knowledge of how brain activity correlates with conscious experience, the answers to all three questions remain controversial, (...) even mysterious. This important book analyses these core issues and reviews the evidence from both introspection and experiment. To many its conclusions will be surprising and even unsettling: * The entire perceived world is constructed by the brain. The relationship between the world we perceive and the underlying physical reality is not as close as we might think * Much of our behaviour is accomplished with little or no participation from conscious experience. * Our conscious experience of our behaviour lags the behaviour itself by around a fifth of a second - we become aware of what we do only after we have done it. * The lag in conscious experience applies also to the decision to act - we only become aware of our decisions after they have been formed. * The self is as much a creation of the brain as is the rest of the perceived world. Written by a leading scientist, this accessible and compelling analysis of how conscious experience relates to brain and behaviour will have major implications for our understanding of human nature. (shrink)

Some theories of goodness are descriptively rich: they have much to say about what makes things good. Neo-Aristotelian accounts, for instance, detail the various features that make a human being, a dog, a bee good relative to facts about those forms of life. Famously, such theories of relative goodness tend to be comparatively poor: they have little or nothing to say about what makes one kind of being better than another kind. Other theories of goodness—those that take there to be (...) absolute goodness—are comparatively rich: they offer grounds for judging some types of things better than others because they have more absolute goodness. Moorean accounts, for example, can tell us that humans and human experiences are superior to bees and blades of grass. But such theories tend to be descriptively poor: they struggle to tell us in virtue of what this is so. In this essay we motivate and flesh out a view that splits the difference between accounts of goodness as relative and accounts of goodness as absolute. Such a view holds promise only if the mechanics of this kind of metaphysics of goodness can be worked out. Here we present a view on which the paradigm for absolute goodness is God and the paradigm for each kind of relative goodness is a divine idea. (shrink)

Followers of Wittgenstein allegedly once held that a meaningful claim to know that p could only be made if there was some doubt about the truth of p. The correct response to this thesis involved appealing to the distinction between the semantic content of a sentence and features attaching to its use. It is inappropriate to assert a knowledge-claim unless someone in the audience has doubt about what the speaker claims to know. But this fact has nothing to do with (...) the semantic content of knowledgeascriptions; it is entirely explicable by appeal to pragmatic facts about felicitous assertion. (shrink)

Brain mapping studies using dynamic imaging methods demonstrate areas regional cerebral blood flow (rCBF) decreases, as well as areas where increases, during performance of various experimental tasks. Task holds for both sets of cerebral blood flow changes (CBF), providing the opportunity to investigate areas that become and “activated” in the experimental condition relative to control state. Such data yield the intriguing observation that in areas in emotional processing, such as the amygdala, the posteromedial cortex, and the ventral anterior cingulate cortex, (...) although flow as expected during specific emotion-related tasks, flow decreases performance of some attentionally demanding, cognitive tasks. Conversely, in some of the areas that appear to subserve cognitive functions, as the dorsal anterior cingulate and the dorsolateral prefrontal cortices, increases while performing attentionally demanding cognitive tasks, but during some experimentally induced and pathological emotional Although the specific nature of such reciprocal patterns of regional remains unclear, they may reflect an important cross-modal interaction during mental operations. The possibility that neural activity is less in areas required in emotional processing during some higher cognitive processes holds implications for the mechanisms underlying interactions cognition and emotion. Furthermore, the possibility that neural in some cognitive-processing areas is suppressed during intense states suggests mechanisms by which extreme fear or severe may interfere with cognitive performance. (shrink)

Our purpose in this article is to identify and suggest resolution for two core problematics of grounded theory. First, while grounded theory provides transparency to one part of the conceptualization process, where codes emerge directly from the data, it provides no such systematic or transparent way for gaining insight into the conceptual relationships between discovered codes. Producing a grounded theory depends not only on the definition of conceptual pieces, but the delineation of a relationship between at least two of those (...) pieces. Second, the conceptualization process of grounded theory is done in hierarchical fashion, where individual codes emerge from the data but then are used to generate insight into more general concepts and thematic statements. But various works on grounded theory have failed to provide any systematic way of using data specific levels of scale (the codes) to gain insight into more macro levels of scale (concepts and themes). We offer fractal concept analysis as a means of resolving both of these issues. By using a logic structure generator, fractal concept analysis delineates self-similar conceptual frameworks at various levels of abstraction, yielding a method for linking concepts together within and between levels of scale encountered in the grounded theory coding and categorization process. We conclude that this fractal analytic technique can bolster the aims of grounded theory as a formalized and systematic process for generating theory from empirical data. (shrink)

It has been proposed that inferring personal authorship for an event gives rise to intentional binding, a perceptual illusion in which one’s action and inferred effect seem closer in time than they otherwise would . Using a novel, naturalistic paradigm, we conducted two experiments to test this hypothesis and examine the relationship between binding and self-reported authorship. In both experiments, an important authorship indicator – consistency between one’s action and a subsequent event – was manipulated, and its effects on binding (...) and self-reported authorship were measured. Results showed that action-event consistency enhanced both binding and self-reported authorship, supporting the hypothesis that binding arises from an inference of authorship. At the same time, evidence for a dissociation emerged, with consistency having a more robust effect on self-reports than on binding. Taken together, these results suggest that binding and self-reports reveal different aspects of the sense of authorship. (shrink)

Brain mapping studies using dynamic imaging methods demonstrate areas regional cerebral blood flow (rCBF) decreases, as well as areas where increases, during performance of various experimental tasks. Task holds for both sets of cerebral blood flow changes (CBF), providing the opportunity to investigate areas that become and “activated” in the experimental condition relative to control state. Such data yield the intriguing observation that in areas in emotional processing, such as the amygdala, the posteromedial cortex, and the ventral anterior cingulate cortex, (...) although flow as expected during specific emotion-related tasks, flow decreases performance of some attentionally demanding, cognitive tasks. Conversely, in some of the areas that appear to subserve cognitive functions, as the dorsal anterior cingulate and the dorsolateral prefrontal cortices, increases while performing attentionally demanding cognitive tasks, but during some experimentally induced and pathological emotional Although the specific nature of such reciprocal patterns of regional remains unclear, they may reflect an important cross-modal interaction during mental operations. The possibility that neural activity is less in areas required in emotional processing during some higher cognitive processes holds implications for the mechanisms underlying interactions cognition and emotion. Furthermore, the possibility that neural in some cognitive-processing areas is suppressed during intense states suggests mechanisms by which extreme fear or severe may interfere with cognitive performance. (shrink)

Eliminativists sometimes invoke evolutionary debunking arguments against ordinary object beliefs, either to help them establish object skepticism or to soften the appeal of commonsense ontology. I argue that object debunkers face a self-defeat problem: their conclusion undermines the scientific support for one of their premises, because evolutionary biology depends on our object beliefs. Using work on reductionism and multiple realizability from the philosophy of science, I argue that it will not suffice for an eliminativist debunker to simply appeal to some (...) object-free surrogate theory of evolution that results from converting any scientific proposition about some object K into a proposition about simples arranged K-wise. In the process, I examine some hazards peculiar to eliminative reductions of scientific theories, and propose a trilemma for eliminativists who attempt to recoup generality for ontologically sparse reducing theories by appealing to pluralities of simples arranged K-wise. The paper is intended to define and develop the object debunker’s self-defeat problem for further study, and to clarify some of the ways sparse and abundant ontologies interact with scientific theory. (shrink)

Many now countenance the idea that certain groups can have beliefs, or at least belief-like states. If groups can have beliefs like these, the question of whether such beliefs are justified immediately arises. Recently, Goldman Essays in collective epistemology, Oxford University Press, Oxford, 2014) has considered what a reliability-based account of justified group belief might look like. In this paper I consider his account and find it wanting, and so propose a modified reliability-based account of justified group belief. Lackey :341–396, (...) 2016) has also criticized Goldman’s proposal, but for very different reasons than I do. Some of her objections, however, can be lodged against the modified account that I propose here. I also respond to these objections. Finally, I note how some formal and experimental work is relevant to those who are attracted to the kind of reliability-based account of justified group belief I develop here. (shrink)

Epistemic Consequentialism Consequentialism is the view that, in some sense, rightness is to be understood in terms conducive to goodness. Much of the philosophical discussion concerning consequentialism has focused on moral rightness or obligation or normativity. But there is plausibly also epistemic rightness, epistemic obligation, and epistemic normativity. Epistemic rightness is often denoted with talk … Continue reading Consequentialism Epistemic →.

The review by Müller and colleagues (2015) of published case studies of neurosurgical treatment of anorexia nervosa (AN) is generally sound. However, we believe that their, somewhat surprising, pro...

A common line of thought in contemporary metaethics is that certain facts about the evolutionary history of humans make moral realism implausible. Two of the most developed evolutionary cases against realism are found in the works of Richard Joyce and Sharon Street. In what follows, I argue that a form of moral realism that I call proper-function moral realism can meet Joyce and Street's challenges. I begin by sketching the basics of proper-function moral realism. I then present what I take (...) to be the essence of Street's and Joyce's objections, and I show how proper-function realism answers them. (shrink)

This chapter contains section titled: Husserl's Cartesianism Heidegger's Ontological Critique References and Further Reading.

The Face of the Other and the Trace of God contain essays on the philosophy of Emmanuel Levinas, and how his philosophy intersects with that of other philosophers, particularly Husserl, Kierkegaard, Sartre, and Derrida. This collection is broadly divided into two parts: relations with the other, and the questions of God.

The framework of plateaus, dips, and leaps shines light on periods when individuals may be inventing new methods of skilled performance. We begin with a review of the role performance plateaus have played in experimental psychology, human–computer interaction, and cognitive science. We then reanalyze two classic studies of individual performance to show plateaus and dips which resulted in performance leaps. For a third study, we show how the statistical methods of Changepoint Analysis plus a few simple heuristics may direct our (...) focus to periods of performance change for individuals. For the researcher, dips become the marker of exploration where performance suffers as new methods are invented and tested. Leaps mark the implementation of a successful new method and an incremental jump above the path plotted by smooth and steady log–log performance increments. The methods developed during these dips and leaps are the key to surpassing one's teachers and acquiring extreme expertise. (shrink)

There is one critical way we honor great tragedies: by never forgetting. Collective remembrance is as old as human society itself, serving as an important source of social cohesion, yet as Jeffrey Andrew Barash shows in this book, it has served novel roles in a modern era otherwise characterized by discontinuity and dislocation. Drawing on recent theoretical explorations of collective memory, he elaborates an important new philosophical basis for it, one that unveils profound limitations to its scope in relation (...) to the historical past. Crucial to Barash’s analysis is a look at the radical transformations that symbolic configurations of collective memory have undergone with the rise of new technologies of mass communication. He provocatively demonstrates how such technologies’ capacity to simulate direct experience—especially via the image—actually makes more palpable collective memory’s limitations and the opacity of the historical past, which always lies beyond the reach of living memory. Thwarting skepticism, however, he eventually looks to literature—specifically writers such as Walter Scott, Marcel Proust, and W. G. Sebald—to uncover subtle nuances of temporality that might offer inconspicuous emblems of a past historical reality. (shrink)

We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions to (...) issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. (shrink)

Consider: -/- The Evidence Question: When, and under what conditions does an agent have proposition E as evidence (at t)? -/- Timothy Williamson's (2000) answer to this question is the well-known E = K thesis: -/- E = K: E is a member of S's evidence set at t iff S knows E at t. -/- I will argue that this answer is inconsistent with the version of Bayesianism that Williamson advocates. This is because E = K allows an agent (...) to garner evidence via inductive inference whereas standard Bayesian views disallow such a thing. Since Williamson's version of Bayesianism shares the key features with the standard Bayesian view, there is an inconsistency. (shrink)

The article reflects on where AI is headed and the world along with it, considering trust, ethics and safety. Implicit in artificial thinking and doomsday appraisals is the engineered divorce from reality of sublime human embodiment. Jeffrey White, Dietrich Brandt, Jan Soeffner, and Larry Stapleton, four scholars associated with AI & Society, address these issues, and more, in the following exchange.

Soren Kierkegaard's Fear and Trembling is one of the most widely read works of Continental philosophy and the philosophy of religion. While several commentaries and critical editions exist, Jeffrey Hanson offers a distinctive approach to this crucial text. Hanson gives equal weight and attention to all three of Kierkegaard’s "problems," dealing with Fear and Trembling as part of the entire corpus of Kierkegaard's production and putting all parts into relation with each other. Additionally, he offers a distinctive analysis of (...) the Abraham story and other biblical texts, giving particular attention to questions of poetics, language, and philosophy, especially as each relates to the aesthetic, the ethical, and the religious. Presented in a thoughtful, well-informed, and fresh manner, Hanson’s claims are original and edifying. This new reading of Kierkegaard will stimulate fruitful dialogue on well-traveled philosophical ground. (shrink)

I review Adrian Moore’s lucid account of Fichte’s contribution to the Evolution of Modern Metaphysics. I support Moore’s contention that Fichte should indeed be considered a metaphysician, but I propose an adjustment to Moore’s interpretation, guided by Fichte’s own claim that the infinite I is an unattainable ideal, rather than a fact about the constitution of reality as it actually is. The resulting position embeds Fichte’s metaphysics firmly within his ethics and politics. In reconstructing Fichte’s position I demonstrate the centrality (...) of work in Fichte’s proposed resolution of Kant’s third antinomy. (shrink)

_Serial Killers - Philosophy for Everyone_ investigates our profound intrigue with mass-murderers. Exploring existential, ethical and political questions through an examination of real and fictional serial killers, philosophy comes alive via an exploration of grisly death. Presents new philosophical theories about serial killing, and relates new research in cognitive science to the minds of serial killers Includes a philosophical look at real serial killers such as Ian Brady, Ted Bundy, John Wayne Gacy, Jeffrey Dahmer and the Zodiac killer, (...) as well as fictional serial killers such as Dexter and Hannibal Lecter Offers a new phenomenological examination of the writings of the Zodiac Killer Contains an account of the disappearance of one of Ted Bundy's victims submitted by the organization Families and Friends of Missing Persons and Violent Crime Victims Integrates the insights of philosophers, academics, crime writers and police officers. (shrink)

Teaching critical thinking skill is a central pedagogical aim in many courses. These skills, it is hoped, will be both portable and durable. Yet, both of these virtues are challenged by pervasive and potent cognitive biases, such as motivated reasoning, false consensus bias and hindsight bias. In this paper, I argue that a focus on the development of metacognitive skill shows promise as a means to inculcate debiasing habits in students. Such habits will help students become more critical reasoners. I (...) close with suggestions for implementing this strategy. (shrink)

There is no problem more paradigmatically philosophical than the mind-body problem. Nevertheless, I will argue that the problem is empirical. I am not even suggesting that conceptual analysis of the various mind-body theories be abandoned – just as I could not suggest it be abandoned for theories in physics or biology. But unlike the question, ‘Is every even number greater than 2 equal to the sum of two primes?’ the mind-body problem cannot be solved a priori, by analysis alone; though (...) I will not argue this thesis here, it is nearly obvious, since purported solutions must make matter of fact claims, heavy with existential import, about the real world. By contrast, an investigation of the sensitivity of the mind-body problem to empirical evidence will show that purported solutions to the problem are empirically testable, to a degree consistent with philosophy giving a clarified mind-body problem to the sciences. I offer the bold outlines of such an investigation here. (shrink)